l\_exists($L$; $T$; $x$.$P$($x$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$x$:$T$. (($x$ $\in$ $L$) $\wedge$ $P$($x$))